TAGs: Perpendicular line formula